\relax 
\bibstyle{abbrv}
\@input{abstract.aux}
\@input{contents.aux}
\@input{Introduccion.aux}
\@input{phaskell_description.aux}
\@input{functionalequiv.aux}
\@input{ejemplo.aux}
\@input{implementacion.aux}
\@input{bib.aux}
